
extern int val(int x);
